package list;

public interface ListIter {
	/*@ pure @*/ /*@ readonly @*/ Object getCurrent();
	/*@ pure @*/ boolean hasCurrent();
	void next();
}